Microcontroller Compiler-Assisted Software Fault Tolerance
نویسندگان
چکیده
منابع مشابه
Software Fault Tolerance
Simple checking is based on the observation that for certain mathematical functions f , the task of determining, given inputs x and y, whether or not f(x) = y is easier than the task of, on input x, computing f(x). So, a checker for function f is a program which, given inputs x and y, returns the correct answer to the question, “Does f(x) = y?” The checker may be randomized, in which case, for ...
متن کاملSoftware Fault Tolerance
A fault-tolerant software unit is composed of N~2 diverse member units, usually developed by N separate teams, and an execution environment. The development process employs diversity requirements, communication protocols, and inter-team isolation rules to promote the greatest possible independence of team efforts and diversity among their products. The principal models, specification, building,...
متن کاملSomersault Software Fault-Tolerance
software fault-tolerance, process replication failure masking, continuous availability, topology The ambition of fault-tolerant systems is to provide application transparent fault-tolerance at the same performance as a non-fault-tolerant system. Somersault is a library for developing distributed fault-tolerant software systems that comes close to achieving both goals. We describe Somersault and...
متن کاملCompiler-Assisted Software Model Checking and Monitoring
of the Dissertation Compiler-Assisted Software Model Checking and Monitoring by Xiaowan Huang Doctor of Philosophy in Computer Science Stony Brook University 2010 In this dissertation we present a compiler-assisted execution-based software model checking method targeting all languages that are acceptable by the compiler. We treat the intermediate representation of the program under compilation ...
متن کاملApproaches to Software Fault Tolerance
A personal and rather discursive account is given of the background to the start of work in the early 1970s at Newcastle on software fault tolerance, and of how work has developed to encompass forward as well as backward error recovery, and parallel and distributed software as well as sequential programs. A major theme of the paper is that of the links between this work and that carried out els...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Nuclear Science
سال: 2019
ISSN: 0018-9499,1558-1578
DOI: 10.1109/tns.2018.2886094